Greatest integer function properties